hvm: Firmware build requires dev86 (bcc) >= 0.16.14.

Earlier versions (at least 0.16.0) generate incorrect code.
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile
index 8091da46d3b0c361b0c83b748a38daf1f77a0db1..b924fde793fc85f006deee30e6c306ba080be856 100644 (file)
--- a/tools/firmware/Makefile
+++ b/tools/firmware/Makefile
@@ -14,10 +14,10 @@ SUBDIRS += hvmloader
 
 .PHONY: all
 all:
-       @set -e; if ! `which bcc 1>/dev/null 2>/dev/null`; then \
+       @set -e; if [ $$((`bcc -v 2>&1 | grep version | cut -d' ' -f 3 | awk -F. '{ printf "0x%02x%02x%02x", $$1, $$2, $$3}'`)) -lt $$((0x00100e)) ] ; then \
        echo "***********************************************************"; \
-       echo "WARNING: Install dev86 package to build firmware!"; \
-       echo "         (http://www.cix.co.uk/~mayday)"; \
+       echo "Require dev86 package version >= 0.16.14 to build firmware!"; \
+       echo "(visit http://www.cix.co.uk/~mayday for more information)"; \
        echo "***********************************************************"; \
        else \
        for subdir in $(SUBDIRS); do \